% When editing a table, translates a menu option for a field type into 
% the right html_format type 

option_table_size('name_small (1-20)', name(_,'',20)).
option_table_size('name_medium (21-40)', name(_,'',40)).
option_table_size('name_large (41-60)', name(_,'',60)).
option_table_size('number_small (1-20)', number(_,'', 20)).
option_table_size('number_medium (21-40)', number(_,'', 40)).
option_table_size('number_large (41-60)', number(_,'', 60)).
% option_table_size('password_small (1-20)', password(_,'', 20)).
% option_table_size('password_medium (21-40)', password(_,'', 40)).
% option_table_size('password_large (41-60)', password(_,'', 60)).
option_table_size('textinput_small (Rows*Cols <= 200)', textinput(_,'', 10, 20)).
option_table_size('textinput_medium (Rows*Cols <= 400)', textinput(_,'', 20, 20)).
option_table_size('textinput_large (Rows*Cols <= 1200)', textinput(_,'', 30, 40)).
option_table_size('input_img_small (1-20)', input_img(_,'pictures/default_img.gif',20)).
option_table_size('input_img_medium (21-40)', input_img(_,'pictures/default_img.gif',40)).
option_table_size('input_img_large (41-60)', input_img(_,'pictures/default_img.gif',60)).
option_table_size('input_link_small (1-20)', input_link(_,'http:/',20)).
option_table_size('input_link_medium (21-40)', input_link(_,'http:/',40)).
option_table_size('input_link_large (41-60)', input_link(_,'http:/',60)).
option_table_size(checkbox, checkbox(_, '')).
option_table_size(none, none).

